📖 Definitional Interpreters - abnv · Scour

Making a Language

thunderseethe.dev·9h

🔬programming language theory

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

🎭Program Synthesis

HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation

arxiv.org·3h

📊Graph Compilers

Evolution of LLMs use by a programmer

asfaload.com·15h·

Discuss: Hacker News

🎮Language Ergonomics

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structures

An XAI View on Explainable ASP: Methods, Systems, and Perspectives

arxiv.org·3h

⚖️Inference Rules

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌲Tree-sitter

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

🛡️Taint Analysis

Vibe coding is a moving target (so don’t marry the tool)

nothingeasyaboutthis.com·6h

🎮Language Ergonomics

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·14h·

Discuss: Hacker News

📋Souffle Datalog

Designing Better Compiler Diagnostics — Lessons from building Klar

dev.to·2d·

Discuss: DEV

🩺Compiler Diagnostics

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

🔄Bootstrapping

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

Type-Safe Routing Without the Build Step

werkbank.dev·14h·

Discuss: Hacker News

⚙️TOML Parsers

Loading more...